// #include <stdint.h>
#include <aipu.h>

__entry void add(int32_t  a, int32_t b, int32_t *c){
    *c = a + b;
} 


int main(void){
    int32_t a = 10;
    int32_t b = 20;
    int32_t c = 0;
    
    add(a, b, &c);
    
    printf("%d + %d = %d \r\n", a, b, c);
    return 0;
}
